翻訳と辞書
Words near each other
・ context clash
・ context dependent information language
・ context switch
・ context-free
・ context-sensitive menu
・ contextually communicating sequential processes
・ continental drift
・ continuation
・ continuation passing style
・ continuations
continuous function
・ continuous system modeling program
・ continuous system simulation language
・ continuous wave
・ contract programmer
・ contraction
・ control
・ control and status register
・ control bus
・ control code


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

continuous function : FOLDOC
continuous function
A function f : D -> E, where D and E are {cpos}, is continuous if it is monotonic and
f (lub Z) = lub { f z | z in Z }

for all {directed} sets Z in D. In other words, the image of the lub is the lub of any directed image.
All additive functions (functions which preserve all lubs) are continuous. A continuous function has a least fixed point if its domain has a least element, bottom (i.e. it is a cpo or a "pointed cpo" depending on your definition of a cpo). The least fixed point is
fix f = lub {f^n bottom | n = 0..infinity}

(1994-11-30)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.